- 2 402 202 книги
#1
Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th ... Computer Science and General Issues)
Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard MollerКатегория: Компьютеры
3.77 Mb
#2
Introduction to Metamathematics (Bibliotheca Mathematica) (Bibliotheca Mathematica)
S.C. KleeneКатегория: Математика
11.21 Mb
#5
The Foundations of Intuitionistic Mathematics (Studies in Logic and the Foundations of Mathematics, 39)
Stephen Cole Kleene, Richard Eugène Vesley
9.79 Mb
#6
The Kleene symposium: Proceedings Madison, 1978
Stephen C. Kleene, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, University of Wisconsin--Madison, 1978 Kleene Symposium
2.82 Mb
#7
The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Stephen C. Kleene, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, University of Wisconsin--Madison, 1978 Kleene Symposium
4.95 Mb
#8
Relational and Kleene-Algebraic Methods in Computer Science
Berghammer R. (Ed), Struth G. (Ed), Miller B.
7.53 Mb
#9
Relational and Kleene-algebraic methods in computer science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene AlgebrAuthor: R Berghammer; Bernhard Möller; Georg Struth
R. Berghammer, Bernhard Möller, Georg Struth
5.80 Mb
#10
Relations and Kleene Algebra in Computer Science, 9 conf., RelMiCS-AKA 2006
Renate A. SchmidtКатегория: Cs_Computer science, CsLn_Lecture notes
4.12 Mb
#11
Relations and Kleene Algebra in Computer Science, 10 conf., and 5 conf
Rudolf Berghammer, Bernhard Möller, Georg StruthКатегория: Cs_Computer science, CsLn_Lecture notes
4.47 Mb
#12
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International ... Papers
R. Berghammer, Bernhard Möller, Georg Struth
2.92 Mb
#16
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions
Stephen Cole Kleene, R.E. VesleyКатегория: Mathematical logic
1.59 Mb
#17
Collected works. Publications 1929-1936
Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van HeijenoortКатегория: Mathematical logic
4.26 Mb
#18
Collected works. Publications 1938-1974
Kurt Gödel, S. Feferman, John W. Dawson Jr., Stephen C. Kleene, G. Moore, R. Solovay, the late Jean van HeijenoortКатегория: Mathematical logic
3.42 Mb
#20
Collected Works: Volume I: Publications 1929-1936
Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van HeijenoortКатегория: Математика
26.18 Mb
#21
Turing's Analysis of Computability and Major Applications of it (Oxford
Stephen C Kleene
1.74 Mb
#22
Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)
Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort
13.27 Mb
